Usenix Security '23 - Verizexe: Decentralized Private Computation With Universal Setup

USENIX Security '23 - VeriZexe: Decentralized Private Computation with Universal Setup

USENIX Security '23 - Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi

USENIX Security '23 - Eos: Efficient Private Delegation of zkSNARK Provers

USENIX Security '23 - Extended Hell(o): A Comprehensive Large-Scale Study on Email...

USENIX Security '23 - “Millions of people are watching you”: Understanding the Digital-Safety...

USENIX Security '23 - URET: Universal Robustness Evaluation Toolkit (for Evasion)

USENIX Security '23 - Automated Security Analysis of Exposure Notification Systems

USENIX Security '23 - Beyond The Gates: An Empirical Analysis of HTTP-Managed Password Stealers...

USENIX Security '23 - Downgrading DNSSEC: How to Exploit Crypto Agility for Hijacking Signed Zones

USENIX Security '23 - Automated Analysis of Protocols that use Authenticated Encryption: How...

USENIX Security '23 - How to Bind Anonymous Credentials to Humans

USENIX Security '23 - GigaDORAM: Breaking the Billion Address Barrier

USENIX Security '23 - Dubhe: Succinct Zero-Knowledge Proofs for Standard AES and relate...

USENIX Security '23 - Mixed Signals: Analyzing Ground-Truth Data on the Users and Economics...

USENIX Security '23 - How fast do you heal? A taxonomy for post-compromise security in...

USENIX Security '23 - Cryptographic Deniability: A Multi-perspective Study of User Perceptions...

USENIX Security '23 - What Are the Chances? Explaining the Epsilon Parameter in Differential Privacy

USENIX Security '23 - Investigating Verification Behavior and Perceptions of Visual Digital...

USENIX Security '23 - A Study of Multi-Factor and Risk-Based Authentication Availability